symbolic(al) logic

  1. simgesel usbilim/ mantık, matematiksel mantık, kavramları sözcüklerle değil, simgelerle göstererek işlem yapan usbilim/ mantık.